منابع مشابه
Determinacy and determinacy analysis
One attractive, unique feature of logic programming languages is their ability to succinctly and declaratively express search. The alternatives of a search can be speci ed by a set of clauses de ning the same predicate. By backtracking, considering in turn each of these clauses, the di erent alternatives are explored until a solution (if it exists) is found. However, though backtracking is esse...
متن کاملDeterminacy and ∆
Let D = {d n } be a countable collection of ∆ 1 3 degrees. Assuming that all co-analytic games on integers are determined (or equivalently that all reals have " sharps "), we prove that either D has a ∆ 1 3-minimal upper bound, or that for any n, and for every real r recursive in d n , games in the pointclasses ∆ 1 2 (r) are determined. This is proven using Core Model theory.
متن کاملOn two generalizations of semi-projective modules: SGQ-projective and $pi$-semi-projective
Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...
متن کاملK-FLAT PROJECTIVE FUZZY QUANTALES
In this paper, we introduce the notion of {bf K}-flat projective fuzzy quantales, and give an elementary characterization in terms of a fuzzy binary relation on the fuzzy quantale. Moreover, we prove that {bf K}-flat projective fuzzy quantales are precisely the coalgebras for a certain comonad on the category of fuzzy quantales. Finally, we present two special cases of {bf K} as examples.
متن کاملThe Variable Determinacy Thesis
This Article proposes a novel technique for characterizing the relative determinacy of legal decision-making. I begin with the observation that the determinacy of legal outcomes varies from context to context within the law. To augment this intuition, I develop a theoretical model of determinate legal decision-making. This model aims to capture the essential features that are typically associat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the National Academy of Sciences
سال: 1988
ISSN: 0027-8424,1091-6490
DOI: 10.1073/pnas.85.18.6582